extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xQ8).1C22 = SD16:D5 | φ: C22/C1 → C22 ⊆ Out C5xQ8 | 80 | 4- | (C5xQ8).1C2^2 | 160,136 |
(C5xQ8).2C22 = SD16:3D5 | φ: C22/C1 → C22 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).2C2^2 | 160,137 |
(C5xQ8).3C22 = D5xQ16 | φ: C22/C1 → C22 ⊆ Out C5xQ8 | 80 | 4- | (C5xQ8).3C2^2 | 160,138 |
(C5xQ8).4C22 = Q16:D5 | φ: C22/C1 → C22 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).4C2^2 | 160,139 |
(C5xQ8).5C22 = Q8.D10 | φ: C22/C1 → C22 ⊆ Out C5xQ8 | 80 | 4+ | (C5xQ8).5C2^2 | 160,140 |
(C5xQ8).6C22 = C20.C23 | φ: C22/C2 → C2 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).6C2^2 | 160,163 |
(C5xQ8).7C22 = C2xC5:Q16 | φ: C22/C2 → C2 ⊆ Out C5xQ8 | 160 | | (C5xQ8).7C2^2 | 160,164 |
(C5xQ8).8C22 = D4.8D10 | φ: C22/C2 → C2 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).8C2^2 | 160,171 |
(C5xQ8).9C22 = D4.9D10 | φ: C22/C2 → C2 ⊆ Out C5xQ8 | 80 | 4- | (C5xQ8).9C2^2 | 160,172 |
(C5xQ8).10C22 = Q8.10D10 | φ: C22/C2 → C2 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).10C2^2 | 160,222 |
(C5xQ8).11C22 = D4.10D10 | φ: C22/C2 → C2 ⊆ Out C5xQ8 | 80 | 4- | (C5xQ8).11C2^2 | 160,225 |
(C5xQ8).12C22 = C10xQ16 | φ: C22/C2 → C2 ⊆ Out C5xQ8 | 160 | | (C5xQ8).12C2^2 | 160,195 |
(C5xQ8).13C22 = C5xC4oD8 | φ: C22/C2 → C2 ⊆ Out C5xQ8 | 80 | 2 | (C5xQ8).13C2^2 | 160,196 |
(C5xQ8).14C22 = C5xC8.C22 | φ: C22/C2 → C2 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).14C2^2 | 160,198 |
(C5xQ8).15C22 = C5x2- 1+4 | φ: trivial image | 80 | 4 | (C5xQ8).15C2^2 | 160,233 |